Today, John Tromp - creator of the Binary λ-Calculus, and one of the smartest functional wizards alive - ported his famous prime number generator (first published 12 years ago!) to HVM:
Discover gists
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# | |
# https://docs.docker.com/build/buildkit/ | |
# https://github.com/docker/buildx/releases/ | |
# https://github.com/docker/buildx | |
mkdir -p $HOME/.docker/cli-plugins | |
wget https://github.com/docker/buildx/releases/download/v0.11.2/buildx-v0.11.2.linux-amd64 | |
chmod +x buildx-v0.11.2.linux-amd64 | |
mv buildx-v0.11.2.linux-amd64 $HOME/.docker/cli-plugins/docker-buildx |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<html> | |
<head> | |
<style> | |
h1 { | |
text-align: center; | |
color: blueviolet; | |
} | |
h2 { | |
text-align: center; |
- No proxy for:
*.apache.org, *.github.com, *.github.io, *.githubusercontent.com, *.gitlab.com, *.google.com, *.gradle.org, *.jetbrains.space, *.maven.org, *.micronaut.io, *.quarkus.io, *.scala-sbt.org, *.schemastore.org, *.spring.io, cache-redirector.jetbrains.com, cloudconfig.jetbrains.com, download-cdn.jetbrains.com, download.jetbrains.com, downloads.marketplace.jetbrains.com, ea-report.jetbrains.com, github.com, gitlab.com, google.com, gradle.org, jcenter.bintray.com, jitpack.io, micronaut.io, plugins.jetbrains.com, quarkus.io, repo.papermc.io, resources.jetbrains.com, spring.io, www.jetbrains.com
Activation Key:
UX394X3HLT-eyJsaWNlbnNlSWQiOiJVWDM5NFgzSExUIiwibGljZW5zZWVOYW1lIjoiSG9uZ2lrIFVuaXZlcnNpdHntmY3snbXrjIDtlZnqtZAiLCJsaWNlbnNlZVR5cGUiOiJDTEFTU1JPT00iLCJhc3NpZ25lZU5hbWUiOiLkvJfliJvkupEg5bel5L2c5a6kIiwiYXNzaWduZWVFbWFpbCI6ImhhbmF6YXdhbWl0b0BnbWFpbC5jb20iLCJsaWNlbnNlUmVzdHJpY3Rpb24iOiJG
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* Note: this Google copyright notice only applies to the original file, which has large sections copy-pasted here. my changes are under CC0 (public domain). | |
* Copyright 2015 Google Inc. | |
* | |
* Use of this source code is governed by a BSD-style license that can be | |
* found in the LICENSE file. | |
*/ | |
/* | |
The official instructions don't work well. These alternative instructions are intended to be the shortest path to get a minimal setup running. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
includes_registered_domains | domain | |
---|---|---|
outlook.com | 606741 | |
google.com | 403872 | |
mcsv.net | 135641 | |
websitewelcome.com | 132545 | |
ovh.com | 83291 | |
mandrillapp.com | 83021 | |
mailchannels.net | 78685 | |
sendgrid.net | 72738 | |
bluehost.com | 70342 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
domain_alexa_rank | domain | num_email_security_providers | email_security_providers | |
---|---|---|---|---|
- | mqsadvisors.com | 4 | ZixMail,AppRiver,fusemail,Protonmail | |
- | primo.com.au | 4 | Mimecast,Mcafee,Symantec,Proofpoint | |
- | fera.co.uk | 4 | Symantec,Forcepoint,fusemail,Protonmail | |
110703.0 | pivotal.io | 4 | Cisco Ironport,Mimecast,Symantec,Proofpoint | |
- | premiercu.org | 4 | Mimecast,Cisco Ironport,Fortinet,Proofpoint | |
- | pendletonplace.org | 4 | AppRiver,Mimecast,Mcafee,ZixMail | |
- | mysolutions.biz | 4 | AppRiver,Reflexion,Can-It Pro,ZixMail | |
- | tracintermodal.com | 4 | Mimecast,ZixMail,AppRiver,BAE Systems | |
220653.0 | pallet-track.co.uk | 4 | the email laundry,hornetsecurity,ZixMail,AppRiver |
Sidenote: you will still need one, but by the end of the guide you should only need to deal with this process once per year, assuming nothing changes.
So, if you're like me you used ProtonVPN as a way to get around the most recent DMM block beginning in August of 2023.
Of course, you can't always have your cake & eat it too. So, what Proton did, some months later: no more server choices even with their already limited country selection for free users, and no more split tunneling either.
That's what most people think at least. Me, personally, I found a solution.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// | |
// This code parses binary format of WebM file. | |
// recognizes only some important TAGs | |
// | |
// Limitation: | |
// This programs reads all binary at once in memory (100MB). | |
// It is very bad imprementation, but it is still enough for some small WebM file. | |
// | |
// Usage: | |
// node parse_webm.js filename |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Build d8 using: | |
// a) Run once | |
// git checkout 6f98fbe86a0d11e6c902e2ee50f609db046daf71 | |
// gclient sync | |
// gn gen ./out/x64.debug | |
// gn gen ./out/x64.release | |
// | |
// b) | |
// Debug Build: | |
// ninja -C ./out/x64.debug d8 |
NewerOlder